/*
File: vclock.h
Author: Joseph Hare (joseph.hare@gmail.com)
Description: Header file for the vclock implementation. I will add bibliogrpahy
information about the particular implementation and document how it changes
as time progresses.
*/

#ifndef __VCLOCK_H
#define __VCLOCK_H

#endif
